企业版

abstract interpretations